<!DOCTYPE html>
<html>
<head>
<meta charset="UTF-8">

<title>class Bundler::PubGrub::VersionSolver - bundler: Ruby Standard Library Documentation</title>


<script src="../../js/navigation.js" defer></script>
<script src="../../js/search.js" defer></script>
<script src="../../js/search_index.js" defer></script>
<script src="../../js/searcher.js" defer></script>
<script src="../../js/darkfish.js" defer></script>

<script src="../../js/jquery-3.2.0.min.js"></script>

<script src="../../js/vue.min.js"></script>
<script src="../../js/js.cookie.min.js"></script>

<link href="../../css/fonts.css" rel="stylesheet">
<link id='rdoccss' href="../../css/rdoc.css" rel="stylesheet">
<link href="../../css/carbon17.css" rel="stylesheet">

<script type="text/javascript">
  var rdoc_rel_prefix = "../../";
  var index_rel_prefix = "../../";
  var darkModeCsseHref = "../../css/rdoc-dm.css"
  var defaultModeCssHref = "../../css/rdoc.css"
  // var cssDarkmode = Cookies.get('darkmode');
  
  if( Cookies.get("darkmode") == "true") {
	$('#rdoccss').attr("href", darkModeCsseHref);
}

//  https://cssdeck.com/blog/simple-jquery-stylesheet-switcher/

document.write('<style type="text/css">body{display:none}</style>');

</script>


</head>
<body id="top" role="document" class="class">
  <!-- this is class.html -->

  <div id='actionbar' >
    <div class='wrapper mdiv'>
      <ul class='grids g0'></ul>
    </div> 
    <!-- VERSION HEADER for 3.3.0.preview2 NOT FOUND -->
  </div> <!-- end action bar -->

  <div class='wrapper hdiv'>

    


    <nav id='vapp' role="navigation">
    <div id="project-navigation">
      <div id="home-section" role="region" title="Quick navigation" class="nav-section">
  <h2><a href="../../index.html" rel="home">Home</a></h2>

  <div id="table-of-contents-navigation"  >
    <a href="../../table_of_contents.html#pages">Pages</a>
    <a href="../../table_of_contents.html#classes">Classes</a>
    <a href="../../table_of_contents.html#methods">Methods</a>
  </div>
</div>

      <div id="search-section" role="search" class="project-section initially-hidden">
  <form action="#" method="get" accept-charset="utf-8">
    <div id="search-field-wrapper">
      <input id="search-field" role="combobox" aria-label="Search"
             aria-autocomplete="list" aria-controls="search-results"
             type="text" name="search" placeholder="Search" spellcheck="false"
             title="Type to search, Up and Down to navigate, Enter to load">
    </div>

    <ul id="search-results" aria-label="Search Results"
        aria-busy="false" aria-expanded="false"
        aria-atomic="false" class="initially-hidden"></ul>
  </form>
</div>

    </div>


    

    <button id='toggleThing' @click="toggleNav()" >Show/hide navigation</button>
    <div :class="isOpen ? 'block' : 'hidden' " id='toggleMe'>
      <div id="class-metadata">
        
        
<div id="parent-class-section" class="nav-section">
  <h3>Parent</h3>

  <p class="link"><a href="../../Object.html">Object</a>
</div>

        
        
        
<!-- Method Quickref -->
<div id="method-list-section" class="nav-section">
  <h3>Methods</h3>

  <ul class="link-list" role="directory">
    <li ><a href="#method-c-new">::new</a>
    <li ><a href="#method-i-add_incompatibility">#add_incompatibility</a>
    <li ><a href="#method-i-choose_package_version">#choose_package_version</a>
    <li ><a href="#method-i-next_package_to_try">#next_package_to_try</a>
    <li ><a href="#method-i-propagate">#propagate</a>
    <li ><a href="#method-i-propagate_incompatibility">#propagate_incompatibility</a>
    <li ><a href="#method-i-resolve_conflict">#resolve_conflict</a>
    <li ><a href="#method-i-result">#result</a>
    <li ><a href="#method-i-solve">#solve</a>
    <li ><a href="#method-i-solved-3F">#solved?</a>
    <li ><a href="#method-i-work">#work</a>
  </ul>
</div>

      </div>
     </div>
    </nav>


    <div id='extraz'><div class='adzbox-index'  >
      
     </div>         
    </div>

    <main role="main" aria-labelledby="class-Bundler::PubGrub::VersionSolver">
    <h1 id="class-Bundler::PubGrub::VersionSolver" class="class">
      class Bundler::PubGrub::VersionSolver
    </h1>

    <section class="description">
    
    </section>

      <section id="5Buntitled-5D" class="documentation-section">



        <section class="attribute-method-details" class="method-section">
        <header>
        <h3>Attributes</h3>
        </header>

          <div id="attribute-i-logger" class="method-detail">
            <div class="method-heading attribute-method-heading">
              <span class="method-name">logger</span><span
                class="attribute-access-type">[R]</span>
            </div>

            <div class="method-description">
              
              </div>
            </div>
          <div id="attribute-i-solution" class="method-detail">
            <div class="method-heading attribute-method-heading">
              <span class="method-name">solution</span><span
                class="attribute-access-type">[R]</span>
            </div>

            <div class="method-description">
              
              </div>
            </div>
          <div id="attribute-i-source" class="method-detail">
            <div class="method-heading attribute-method-heading">
              <span class="method-name">source</span><span
                class="attribute-access-type">[R]</span>
            </div>

            <div class="method-description">
              
              </div>
            </div>
            </section>


                <section id="public-class-5Buntitled-5D-method-details" class="method-section">
                <header>
                <h3>Public Class Methods</h3>
                </header>

                  <div id="method-c-new" class="method-detail ">
                            <div class="method-heading">
                              <span class="method-name">new</span><span
                                class="method-args">(source:, root: Package.root, logger: Bundler::PubGrub.logger)</span>
                              <span class="method-click-advice">click to toggle source</span>
                            </div>

                            <div class="method-description">
                              

                              <div class="method-source-code" id="new-source">
            <pre><span class="ruby-comment"># File bundler/vendor/pub_grub/lib/pub_grub/version_solver.rb, line 12</span>
<span class="ruby-keyword">def</span> <span class="ruby-identifier ruby-title">initialize</span>(<span class="ruby-value">source:</span>, <span class="ruby-value">root:</span> <span class="ruby-constant">Package</span>.<span class="ruby-identifier">root</span>, <span class="ruby-value">logger:</span> <span class="ruby-constant">Bundler</span><span class="ruby-operator">::</span><span class="ruby-constant">PubGrub</span>.<span class="ruby-identifier">logger</span>)
  <span class="ruby-ivar">@logger</span> = <span class="ruby-identifier">logger</span>

  <span class="ruby-ivar">@source</span> = <span class="ruby-identifier">source</span>

  <span class="ruby-comment"># { package =&gt; [incompatibility, ...]}</span>
  <span class="ruby-ivar">@incompatibilities</span> = <span class="ruby-constant">Hash</span>.<span class="ruby-identifier">new</span> <span class="ruby-keyword">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">h</span>, <span class="ruby-identifier">k</span><span class="ruby-operator">|</span>
    <span class="ruby-identifier">h</span>[<span class="ruby-identifier">k</span>] = []
  <span class="ruby-keyword">end</span>

  <span class="ruby-ivar">@seen_incompatibilities</span> = {}

  <span class="ruby-ivar">@solution</span> = <span class="ruby-constant">PartialSolution</span>.<span class="ruby-identifier">new</span>

  <span class="ruby-identifier">add_incompatibility</span> <span class="ruby-constant">Incompatibility</span>.<span class="ruby-identifier">new</span>([
    <span class="ruby-constant">Term</span>.<span class="ruby-identifier">new</span>(<span class="ruby-constant">VersionConstraint</span>.<span class="ruby-identifier">any</span>(<span class="ruby-identifier">root</span>), <span class="ruby-keyword">false</span>)
  ], <span class="ruby-value">cause:</span> <span class="ruby-value">:root</span>)

  <span class="ruby-identifier">propagate</span>(<span class="ruby-identifier">root</span>)
<span class="ruby-keyword">end</span></pre>
                              </div>
                            </div>


                          </div>

                          </section>

                <section id="public-instance-5Buntitled-5D-method-details" class="method-section">
                <header>
                <h3>Public Instance Methods</h3>
                </header>

                  <div id="method-i-result" class="method-detail method-alias">
                            <div class="method-heading">
                              <span class="method-name">result</span><span
                                class="method-args">()</span>
                            </div>

                            <div class="method-description">
                              

                            </div>


                            <div class="aliases">
                              Alias for: <a href="VersionSolver.html#method-i-solve">solve</a>
                            </div>
                          </div>

                  <div id="method-i-solve" class="method-detail ">
                            <div class="method-heading">
                              <span class="method-name">solve</span><span
                                class="method-args">()</span>
                              <span class="method-click-advice">click to toggle source</span>
                            </div>

                            <div class="method-description">
                              

                              <div class="method-source-code" id="solve-source">
            <pre><span class="ruby-comment"># File bundler/vendor/pub_grub/lib/pub_grub/version_solver.rb, line 57</span>
<span class="ruby-keyword">def</span> <span class="ruby-identifier ruby-title">solve</span>
  <span class="ruby-identifier">work</span> <span class="ruby-keyword">until</span> <span class="ruby-identifier">solved?</span>

  <span class="ruby-identifier">solution</span>.<span class="ruby-identifier">decisions</span>
<span class="ruby-keyword">end</span></pre>
                              </div>
                            </div>

                            <div class="aliases">
                              Also aliased as: <a href="VersionSolver.html#method-i-result">result</a>
                            </div>

                          </div>

                  <div id="method-i-solved-3F" class="method-detail ">
                            <div class="method-heading">
                              <span class="method-name">solved?</span><span
                                class="method-args">()</span>
                              <span class="method-click-advice">click to toggle source</span>
                            </div>

                            <div class="method-description">
                              

                              <div class="method-source-code" id="solved-3F-source">
            <pre><span class="ruby-comment"># File bundler/vendor/pub_grub/lib/pub_grub/version_solver.rb, line 33</span>
<span class="ruby-keyword">def</span> <span class="ruby-identifier ruby-title">solved?</span>
  <span class="ruby-identifier">solution</span>.<span class="ruby-identifier">unsatisfied</span>.<span class="ruby-identifier">empty?</span>
<span class="ruby-keyword">end</span></pre>
                              </div>
                            </div>


                          </div>

                  <div id="method-i-work" class="method-detail ">
                            <div class="method-heading">
                              <span class="method-name">work</span><span
                                class="method-args">()</span>
                              <span class="method-click-advice">click to toggle source</span>
                            </div>

                            <div class="method-description">
                              <p>Returns true if there is more work to be done, false otherwise</p>

                              <div class="method-source-code" id="work-source">
            <pre><span class="ruby-comment"># File bundler/vendor/pub_grub/lib/pub_grub/version_solver.rb, line 38</span>
<span class="ruby-keyword">def</span> <span class="ruby-identifier ruby-title">work</span>
  <span class="ruby-keyword">return</span> <span class="ruby-keyword">false</span> <span class="ruby-keyword">if</span> <span class="ruby-identifier">solved?</span>

  <span class="ruby-identifier">next_package</span> = <span class="ruby-identifier">choose_package_version</span>
  <span class="ruby-identifier">propagate</span>(<span class="ruby-identifier">next_package</span>)

  <span class="ruby-keyword">if</span> <span class="ruby-identifier">solved?</span>
    <span class="ruby-identifier">logger</span>.<span class="ruby-identifier">info</span> { <span class="ruby-node">&quot;Solution found after #{solution.attempted_solutions} attempts:&quot;</span> }
    <span class="ruby-identifier">solution</span>.<span class="ruby-identifier">decisions</span>.<span class="ruby-identifier">each</span> <span class="ruby-keyword">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">package</span>, <span class="ruby-identifier">version</span><span class="ruby-operator">|</span>
      <span class="ruby-keyword">next</span> <span class="ruby-keyword">if</span> <span class="ruby-constant">Package</span>.<span class="ruby-identifier">root?</span>(<span class="ruby-identifier">package</span>)
      <span class="ruby-identifier">logger</span>.<span class="ruby-identifier">info</span> { <span class="ruby-node">&quot;* #{package} #{version}&quot;</span> }
    <span class="ruby-keyword">end</span>

    <span class="ruby-keyword">false</span>
  <span class="ruby-keyword">else</span>
    <span class="ruby-keyword">true</span>
  <span class="ruby-keyword">end</span>
<span class="ruby-keyword">end</span></pre>
                              </div>
                            </div>


                          </div>

                          </section>

                <section id="private-instance-5Buntitled-5D-method-details" class="method-section">
                <header>
                <h3>Private Instance Methods</h3>
                </header>

                  <div id="method-i-add_incompatibility" class="method-detail ">
                            <div class="method-heading">
                              <span class="method-name">add_incompatibility</span><span
                                class="method-args">(incompatibility)</span>
                              <span class="method-click-advice">click to toggle source</span>
                            </div>

                            <div class="method-description">
                              

                              <div class="method-source-code" id="add_incompatibility-source">
            <pre><span class="ruby-comment"># File bundler/vendor/pub_grub/lib/pub_grub/version_solver.rb, line 240</span>
<span class="ruby-keyword">def</span> <span class="ruby-identifier ruby-title">add_incompatibility</span>(<span class="ruby-identifier">incompatibility</span>)
  <span class="ruby-identifier">logger</span>.<span class="ruby-identifier">debug</span> { <span class="ruby-node">&quot;fact: #{incompatibility}&quot;</span> }
  <span class="ruby-identifier">incompatibility</span>.<span class="ruby-identifier">terms</span>.<span class="ruby-identifier">each</span> <span class="ruby-keyword">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">term</span><span class="ruby-operator">|</span>
    <span class="ruby-identifier">package</span> = <span class="ruby-identifier">term</span>.<span class="ruby-identifier">package</span>
    <span class="ruby-ivar">@incompatibilities</span>[<span class="ruby-identifier">package</span>] <span class="ruby-operator">&lt;&lt;</span> <span class="ruby-identifier">incompatibility</span>
  <span class="ruby-keyword">end</span>
<span class="ruby-keyword">end</span></pre>
                              </div>
                            </div>


                          </div>

                  <div id="method-i-choose_package_version" class="method-detail ">
                            <div class="method-heading">
                              <span class="method-name">choose_package_version</span><span
                                class="method-args">()</span>
                              <span class="method-click-advice">click to toggle source</span>
                            </div>

                            <div class="method-description">
                              

                              <div class="method-source-code" id="choose_package_version-source">
            <pre><span class="ruby-comment"># File bundler/vendor/pub_grub/lib/pub_grub/version_solver.rb, line 119</span>
<span class="ruby-keyword">def</span> <span class="ruby-identifier ruby-title">choose_package_version</span>
  <span class="ruby-keyword">if</span> <span class="ruby-identifier">solution</span>.<span class="ruby-identifier">unsatisfied</span>.<span class="ruby-identifier">empty?</span>
    <span class="ruby-identifier">logger</span>.<span class="ruby-identifier">info</span> <span class="ruby-string">&quot;No packages unsatisfied. Solving complete!&quot;</span>
    <span class="ruby-keyword">return</span> <span class="ruby-keyword">nil</span>
  <span class="ruby-keyword">end</span>

  <span class="ruby-identifier">package</span> = <span class="ruby-identifier">next_package_to_try</span>
  <span class="ruby-identifier">unsatisfied_term</span> = <span class="ruby-identifier">solution</span>.<span class="ruby-identifier">unsatisfied</span>.<span class="ruby-identifier">find</span> { <span class="ruby-operator">|</span><span class="ruby-identifier">t</span><span class="ruby-operator">|</span> <span class="ruby-identifier">t</span>.<span class="ruby-identifier">package</span> <span class="ruby-operator">==</span> <span class="ruby-identifier">package</span> }
  <span class="ruby-identifier">version</span> = <span class="ruby-identifier">source</span>.<span class="ruby-identifier">versions_for</span>(<span class="ruby-identifier">package</span>, <span class="ruby-identifier">unsatisfied_term</span>.<span class="ruby-identifier">constraint</span>.<span class="ruby-identifier">range</span>).<span class="ruby-identifier">first</span>
  <span class="ruby-identifier">logger</span>.<span class="ruby-identifier">debug</span> { <span class="ruby-node">&quot;attempting #{package} #{version}&quot;</span> }

  <span class="ruby-keyword">if</span> <span class="ruby-identifier">version</span>.<span class="ruby-identifier">nil?</span>
    <span class="ruby-identifier">add_incompatibility</span> <span class="ruby-identifier">source</span>.<span class="ruby-identifier">no_versions_incompatibility_for</span>(<span class="ruby-identifier">package</span>, <span class="ruby-identifier">unsatisfied_term</span>)
    <span class="ruby-keyword">return</span> <span class="ruby-identifier">package</span>
  <span class="ruby-keyword">end</span>

  <span class="ruby-identifier">conflict</span> = <span class="ruby-keyword">false</span>

  <span class="ruby-identifier">source</span>.<span class="ruby-identifier">incompatibilities_for</span>(<span class="ruby-identifier">package</span>, <span class="ruby-identifier">version</span>).<span class="ruby-identifier">each</span> <span class="ruby-keyword">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">incompatibility</span><span class="ruby-operator">|</span>
    <span class="ruby-keyword">if</span> <span class="ruby-ivar">@seen_incompatibilities</span>.<span class="ruby-identifier">include?</span>(<span class="ruby-identifier">incompatibility</span>)
      <span class="ruby-identifier">logger</span>.<span class="ruby-identifier">debug</span> { <span class="ruby-node">&quot;knew: #{incompatibility}&quot;</span> }
      <span class="ruby-keyword">next</span>
    <span class="ruby-keyword">end</span>
    <span class="ruby-ivar">@seen_incompatibilities</span>[<span class="ruby-identifier">incompatibility</span>] = <span class="ruby-keyword">true</span>

    <span class="ruby-identifier">add_incompatibility</span> <span class="ruby-identifier">incompatibility</span>

    <span class="ruby-identifier">conflict</span> <span class="ruby-operator">||=</span> <span class="ruby-identifier">incompatibility</span>.<span class="ruby-identifier">terms</span>.<span class="ruby-identifier">all?</span> <span class="ruby-keyword">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">term</span><span class="ruby-operator">|</span>
      <span class="ruby-identifier">term</span>.<span class="ruby-identifier">package</span> <span class="ruby-operator">==</span> <span class="ruby-identifier">package</span> <span class="ruby-operator">||</span> <span class="ruby-identifier">solution</span>.<span class="ruby-identifier">satisfies?</span>(<span class="ruby-identifier">term</span>)
    <span class="ruby-keyword">end</span>
  <span class="ruby-keyword">end</span>

  <span class="ruby-keyword">unless</span> <span class="ruby-identifier">conflict</span>
    <span class="ruby-identifier">logger</span>.<span class="ruby-identifier">info</span> { <span class="ruby-node">&quot;selected #{package} #{version}&quot;</span> }

    <span class="ruby-identifier">solution</span>.<span class="ruby-identifier">decide</span>(<span class="ruby-identifier">package</span>, <span class="ruby-identifier">version</span>)
  <span class="ruby-keyword">else</span>
    <span class="ruby-identifier">logger</span>.<span class="ruby-identifier">info</span> { <span class="ruby-node">&quot;conflict: #{conflict.inspect}&quot;</span> }
  <span class="ruby-keyword">end</span>

  <span class="ruby-identifier">package</span>
<span class="ruby-keyword">end</span></pre>
                              </div>
                            </div>


                          </div>

                  <div id="method-i-next_package_to_try" class="method-detail ">
                            <div class="method-heading">
                              <span class="method-name">next_package_to_try</span><span
                                class="method-args">()</span>
                              <span class="method-click-advice">click to toggle source</span>
                            </div>

                            <div class="method-description">
                              

                              <div class="method-source-code" id="next_package_to_try-source">
            <pre><span class="ruby-comment"># File bundler/vendor/pub_grub/lib/pub_grub/version_solver.rb, line 108</span>
<span class="ruby-keyword">def</span> <span class="ruby-identifier ruby-title">next_package_to_try</span>
  <span class="ruby-identifier">solution</span>.<span class="ruby-identifier">unsatisfied</span>.<span class="ruby-identifier">min_by</span> <span class="ruby-keyword">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">term</span><span class="ruby-operator">|</span>
    <span class="ruby-identifier">package</span> = <span class="ruby-identifier">term</span>.<span class="ruby-identifier">package</span>
    <span class="ruby-identifier">range</span> = <span class="ruby-identifier">term</span>.<span class="ruby-identifier">constraint</span>.<span class="ruby-identifier">range</span>
    <span class="ruby-identifier">matching_versions</span> = <span class="ruby-identifier">source</span>.<span class="ruby-identifier">versions_for</span>(<span class="ruby-identifier">package</span>, <span class="ruby-identifier">range</span>)
    <span class="ruby-identifier">higher_versions</span> = <span class="ruby-identifier">source</span>.<span class="ruby-identifier">versions_for</span>(<span class="ruby-identifier">package</span>, <span class="ruby-identifier">range</span>.<span class="ruby-identifier">upper_invert</span>)

    [<span class="ruby-identifier">matching_versions</span>.<span class="ruby-identifier">count</span> <span class="ruby-operator">&lt;=</span> <span class="ruby-value">1</span> <span class="ruby-operator">?</span> <span class="ruby-value">0</span> <span class="ruby-operator">:</span> <span class="ruby-value">1</span>, <span class="ruby-identifier">higher_versions</span>.<span class="ruby-identifier">count</span>]
  <span class="ruby-keyword">end</span>.<span class="ruby-identifier">package</span>
<span class="ruby-keyword">end</span></pre>
                              </div>
                            </div>


                          </div>

                  <div id="method-i-propagate" class="method-detail ">
                            <div class="method-heading">
                              <span class="method-name">propagate</span><span
                                class="method-args">(initial_package)</span>
                              <span class="method-click-advice">click to toggle source</span>
                            </div>

                            <div class="method-description">
                              

                              <div class="method-source-code" id="propagate-source">
            <pre><span class="ruby-comment"># File bundler/vendor/pub_grub/lib/pub_grub/version_solver.rb, line 67</span>
<span class="ruby-keyword">def</span> <span class="ruby-identifier ruby-title">propagate</span>(<span class="ruby-identifier">initial_package</span>)
  <span class="ruby-identifier">changed</span> = [<span class="ruby-identifier">initial_package</span>]
  <span class="ruby-keyword">while</span> <span class="ruby-identifier">package</span> = <span class="ruby-identifier">changed</span>.<span class="ruby-identifier">shift</span>
    <span class="ruby-ivar">@incompatibilities</span>[<span class="ruby-identifier">package</span>].<span class="ruby-identifier">reverse_each</span> <span class="ruby-keyword">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">incompatibility</span><span class="ruby-operator">|</span>
      <span class="ruby-identifier">result</span> = <span class="ruby-identifier">propagate_incompatibility</span>(<span class="ruby-identifier">incompatibility</span>)
      <span class="ruby-keyword">if</span> <span class="ruby-identifier">result</span> <span class="ruby-operator">==</span> <span class="ruby-value">:conflict</span>
        <span class="ruby-identifier">root_cause</span> = <span class="ruby-identifier">resolve_conflict</span>(<span class="ruby-identifier">incompatibility</span>)
        <span class="ruby-identifier">changed</span>.<span class="ruby-identifier">clear</span>
        <span class="ruby-identifier">changed</span> <span class="ruby-operator">&lt;&lt;</span> <span class="ruby-identifier">propagate_incompatibility</span>(<span class="ruby-identifier">root_cause</span>)
      <span class="ruby-keyword">elsif</span> <span class="ruby-identifier">result</span> <span class="ruby-comment"># should be a Package</span>
        <span class="ruby-identifier">changed</span> <span class="ruby-operator">&lt;&lt;</span> <span class="ruby-identifier">result</span>
      <span class="ruby-keyword">end</span>
    <span class="ruby-keyword">end</span>
    <span class="ruby-identifier">changed</span>.<span class="ruby-identifier">uniq!</span>
  <span class="ruby-keyword">end</span>
<span class="ruby-keyword">end</span></pre>
                              </div>
                            </div>


                          </div>

                  <div id="method-i-propagate_incompatibility" class="method-detail ">
                            <div class="method-heading">
                              <span class="method-name">propagate_incompatibility</span><span
                                class="method-args">(incompatibility)</span>
                              <span class="method-click-advice">click to toggle source</span>
                            </div>

                            <div class="method-description">
                              

                              <div class="method-source-code" id="propagate_incompatibility-source">
            <pre><span class="ruby-comment"># File bundler/vendor/pub_grub/lib/pub_grub/version_solver.rb, line 84</span>
<span class="ruby-keyword">def</span> <span class="ruby-identifier ruby-title">propagate_incompatibility</span>(<span class="ruby-identifier">incompatibility</span>)
  <span class="ruby-identifier">unsatisfied</span> = <span class="ruby-keyword">nil</span>
  <span class="ruby-identifier">incompatibility</span>.<span class="ruby-identifier">terms</span>.<span class="ruby-identifier">each</span> <span class="ruby-keyword">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">term</span><span class="ruby-operator">|</span>
    <span class="ruby-identifier">relation</span> = <span class="ruby-identifier">solution</span>.<span class="ruby-identifier">relation</span>(<span class="ruby-identifier">term</span>)
    <span class="ruby-keyword">if</span> <span class="ruby-identifier">relation</span> <span class="ruby-operator">==</span> <span class="ruby-value">:disjoint</span>
      <span class="ruby-keyword">return</span> <span class="ruby-keyword">nil</span>
    <span class="ruby-keyword">elsif</span> <span class="ruby-identifier">relation</span> <span class="ruby-operator">==</span> <span class="ruby-value">:overlap</span>
      <span class="ruby-comment"># If more than one term is inconclusive, we can&#39;t deduce anything</span>
      <span class="ruby-keyword">return</span> <span class="ruby-keyword">nil</span> <span class="ruby-keyword">if</span> <span class="ruby-identifier">unsatisfied</span>
      <span class="ruby-identifier">unsatisfied</span> = <span class="ruby-identifier">term</span>
    <span class="ruby-keyword">end</span>
  <span class="ruby-keyword">end</span>

  <span class="ruby-keyword">if</span> <span class="ruby-operator">!</span><span class="ruby-identifier">unsatisfied</span>
    <span class="ruby-keyword">return</span> <span class="ruby-value">:conflict</span>
  <span class="ruby-keyword">end</span>

  <span class="ruby-identifier">logger</span>.<span class="ruby-identifier">debug</span> { <span class="ruby-node">&quot;derived: #{unsatisfied.invert}&quot;</span> }

  <span class="ruby-identifier">solution</span>.<span class="ruby-identifier">derive</span>(<span class="ruby-identifier">unsatisfied</span>.<span class="ruby-identifier">invert</span>, <span class="ruby-identifier">incompatibility</span>)

  <span class="ruby-identifier">unsatisfied</span>.<span class="ruby-identifier">package</span>
<span class="ruby-keyword">end</span></pre>
                              </div>
                            </div>


                          </div>

                  <div id="method-i-resolve_conflict" class="method-detail ">
                            <div class="method-heading">
                              <span class="method-name">resolve_conflict</span><span
                                class="method-args">(incompatibility)</span>
                              <span class="method-click-advice">click to toggle source</span>
                            </div>

                            <div class="method-description">
                              

                              <div class="method-source-code" id="resolve_conflict-source">
            <pre><span class="ruby-comment"># File bundler/vendor/pub_grub/lib/pub_grub/version_solver.rb, line 162</span>
<span class="ruby-keyword">def</span> <span class="ruby-identifier ruby-title">resolve_conflict</span>(<span class="ruby-identifier">incompatibility</span>)
  <span class="ruby-identifier">logger</span>.<span class="ruby-identifier">info</span> { <span class="ruby-node">&quot;conflict: #{incompatibility}&quot;</span> }

  <span class="ruby-identifier">new_incompatibility</span> = <span class="ruby-keyword">nil</span>

  <span class="ruby-keyword">while</span> <span class="ruby-operator">!</span><span class="ruby-identifier">incompatibility</span>.<span class="ruby-identifier">failure?</span>
    <span class="ruby-identifier">most_recent_term</span> = <span class="ruby-keyword">nil</span>
    <span class="ruby-identifier">most_recent_satisfier</span> = <span class="ruby-keyword">nil</span>
    <span class="ruby-identifier">difference</span> = <span class="ruby-keyword">nil</span>

    <span class="ruby-identifier">previous_level</span> = <span class="ruby-value">1</span>

    <span class="ruby-identifier">incompatibility</span>.<span class="ruby-identifier">terms</span>.<span class="ruby-identifier">each</span> <span class="ruby-keyword">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">term</span><span class="ruby-operator">|</span>
      <span class="ruby-identifier">satisfier</span> = <span class="ruby-identifier">solution</span>.<span class="ruby-identifier">satisfier</span>(<span class="ruby-identifier">term</span>)

      <span class="ruby-keyword">if</span> <span class="ruby-identifier">most_recent_satisfier</span>.<span class="ruby-identifier">nil?</span>
        <span class="ruby-identifier">most_recent_term</span> = <span class="ruby-identifier">term</span>
        <span class="ruby-identifier">most_recent_satisfier</span> = <span class="ruby-identifier">satisfier</span>
      <span class="ruby-keyword">elsif</span> <span class="ruby-identifier">most_recent_satisfier</span>.<span class="ruby-identifier">index</span> <span class="ruby-operator">&lt;</span> <span class="ruby-identifier">satisfier</span>.<span class="ruby-identifier">index</span>
        <span class="ruby-identifier">previous_level</span> = [<span class="ruby-identifier">previous_level</span>, <span class="ruby-identifier">most_recent_satisfier</span>.<span class="ruby-identifier">decision_level</span>].<span class="ruby-identifier">max</span>
        <span class="ruby-identifier">most_recent_term</span> = <span class="ruby-identifier">term</span>
        <span class="ruby-identifier">most_recent_satisfier</span> = <span class="ruby-identifier">satisfier</span>
        <span class="ruby-identifier">difference</span> = <span class="ruby-keyword">nil</span>
      <span class="ruby-keyword">else</span>
        <span class="ruby-identifier">previous_level</span> = [<span class="ruby-identifier">previous_level</span>, <span class="ruby-identifier">satisfier</span>.<span class="ruby-identifier">decision_level</span>].<span class="ruby-identifier">max</span>
      <span class="ruby-keyword">end</span>

      <span class="ruby-keyword">if</span> <span class="ruby-identifier">most_recent_term</span> <span class="ruby-operator">==</span> <span class="ruby-identifier">term</span>
        <span class="ruby-identifier">difference</span> = <span class="ruby-identifier">most_recent_satisfier</span>.<span class="ruby-identifier">term</span>.<span class="ruby-identifier">difference</span>(<span class="ruby-identifier">most_recent_term</span>)
        <span class="ruby-keyword">if</span> <span class="ruby-identifier">difference</span>.<span class="ruby-identifier">empty?</span>
          <span class="ruby-identifier">difference</span> = <span class="ruby-keyword">nil</span>
        <span class="ruby-keyword">else</span>
          <span class="ruby-identifier">difference_satisfier</span> = <span class="ruby-identifier">solution</span>.<span class="ruby-identifier">satisfier</span>(<span class="ruby-identifier">difference</span>.<span class="ruby-identifier">inverse</span>)
          <span class="ruby-identifier">previous_level</span> = [<span class="ruby-identifier">previous_level</span>, <span class="ruby-identifier">difference_satisfier</span>.<span class="ruby-identifier">decision_level</span>].<span class="ruby-identifier">max</span>
        <span class="ruby-keyword">end</span>
      <span class="ruby-keyword">end</span>
    <span class="ruby-keyword">end</span>

    <span class="ruby-keyword">if</span> <span class="ruby-identifier">previous_level</span> <span class="ruby-operator">&lt;</span> <span class="ruby-identifier">most_recent_satisfier</span>.<span class="ruby-identifier">decision_level</span> <span class="ruby-operator">||</span>
        <span class="ruby-identifier">most_recent_satisfier</span>.<span class="ruby-identifier">decision?</span>

      <span class="ruby-identifier">logger</span>.<span class="ruby-identifier">info</span> { <span class="ruby-node">&quot;backtracking to #{previous_level}&quot;</span> }
      <span class="ruby-identifier">solution</span>.<span class="ruby-identifier">backtrack</span>(<span class="ruby-identifier">previous_level</span>)

      <span class="ruby-keyword">if</span> <span class="ruby-identifier">new_incompatibility</span>
        <span class="ruby-identifier">add_incompatibility</span>(<span class="ruby-identifier">new_incompatibility</span>)
      <span class="ruby-keyword">end</span>

      <span class="ruby-keyword">return</span> <span class="ruby-identifier">incompatibility</span>
    <span class="ruby-keyword">end</span>

    <span class="ruby-identifier">new_terms</span> = []
    <span class="ruby-identifier">new_terms</span> <span class="ruby-operator">+=</span> <span class="ruby-identifier">incompatibility</span>.<span class="ruby-identifier">terms</span> <span class="ruby-operator">-</span> [<span class="ruby-identifier">most_recent_term</span>]
    <span class="ruby-identifier">new_terms</span> <span class="ruby-operator">+=</span> <span class="ruby-identifier">most_recent_satisfier</span>.<span class="ruby-identifier">cause</span>.<span class="ruby-identifier">terms</span>.<span class="ruby-identifier">reject</span> { <span class="ruby-operator">|</span><span class="ruby-identifier">term</span><span class="ruby-operator">|</span>
      <span class="ruby-identifier">term</span>.<span class="ruby-identifier">package</span> <span class="ruby-operator">==</span> <span class="ruby-identifier">most_recent_satisfier</span>.<span class="ruby-identifier">term</span>.<span class="ruby-identifier">package</span>
    }
    <span class="ruby-keyword">if</span> <span class="ruby-identifier">difference</span>
      <span class="ruby-identifier">new_terms</span> <span class="ruby-operator">&lt;&lt;</span> <span class="ruby-identifier">difference</span>.<span class="ruby-identifier">invert</span>
    <span class="ruby-keyword">end</span>

    <span class="ruby-identifier">new_incompatibility</span> = <span class="ruby-constant">Incompatibility</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">new_terms</span>, <span class="ruby-value">cause:</span> <span class="ruby-constant">Incompatibility</span><span class="ruby-operator">::</span><span class="ruby-constant">ConflictCause</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">incompatibility</span>, <span class="ruby-identifier">most_recent_satisfier</span>.<span class="ruby-identifier">cause</span>))

    <span class="ruby-keyword">if</span> <span class="ruby-identifier">incompatibility</span>.<span class="ruby-identifier">to_s</span> <span class="ruby-operator">==</span> <span class="ruby-identifier">new_incompatibility</span>.<span class="ruby-identifier">to_s</span>
      <span class="ruby-identifier">logger</span>.<span class="ruby-identifier">info</span> { <span class="ruby-string">&quot;!! failed to resolve conflicts, this shouldn&#39;t have happened&quot;</span> }
      <span class="ruby-keyword">break</span>
    <span class="ruby-keyword">end</span>

    <span class="ruby-identifier">incompatibility</span> = <span class="ruby-identifier">new_incompatibility</span>

    <span class="ruby-identifier">partially</span> = <span class="ruby-identifier">difference</span> <span class="ruby-operator">?</span> <span class="ruby-string">&quot; partially&quot;</span> <span class="ruby-operator">:</span> <span class="ruby-string">&quot;&quot;</span>
    <span class="ruby-identifier">logger</span>.<span class="ruby-identifier">info</span> { <span class="ruby-node">&quot;! #{most_recent_term} is#{partially} satisfied by #{most_recent_satisfier.term}&quot;</span> }
    <span class="ruby-identifier">logger</span>.<span class="ruby-identifier">info</span> { <span class="ruby-node">&quot;! which is caused by #{most_recent_satisfier.cause}&quot;</span> }
    <span class="ruby-identifier">logger</span>.<span class="ruby-identifier">info</span> { <span class="ruby-node">&quot;! thus #{incompatibility}&quot;</span> }
  <span class="ruby-keyword">end</span>

  <span class="ruby-identifier">raise</span> <span class="ruby-constant">SolveFailure</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">incompatibility</span>)
<span class="ruby-keyword">end</span></pre>
                              </div>
                            </div>


                          </div>

                          </section>

              </section>
              </main>



            </div>  <!--  class='wrapper hdiv' -->


<footer id="validator-badges" role="contentinfo">
<p><a href="https://validator.w3.org/check/referer">Validate</a></p>
<p>Generated by <a href="https://ruby.github.io/rdoc/">RDoc</a> 6.4.0.</p>
<p>Based on <a href="https://github.com/ged/darkfish/">Darkfish</a> by <a href="http://deveiate.org">Michael Granger</a>.</p>

  
    <p><p><a href="https://ruby-doc.org">Ruby-doc.org</a> is provided by <a href="https://jamesbritt.com">James Britt</a> and <a href="https://neurogami.com">Neurogami</a>.</p><p><a href="https://jamesbritt.bandcamp.com/">Maximum R+D</a>.  </p>
</p>
  
  </footer>

<script type="text/javascript">


  let ads  = $("#carbonads-container").children().detach();


  function swapMode() {
    var cookieName = 'darkmode';
    var cssDarkmode = Cookies.get(cookieName);
    console.log("***** swapMode! " + cssDarkmode + " *****");


    if (cssDarkmode == "true") {
      console.log("We have dark mode, set the css to light ...");
      $('#rdoccss').attr("href", defaultModeCssHref);
      $('#cssSelect').text("Dark mode");
      cssDarkmode = "false";
      console.log("swapMode! Now set cookie to " + cssDarkmode);
      Cookies.set(cookieName, cssDarkmode);

    } else {
      console.log("We not have dark mode, set the css to dark ...");
      $('#rdoccss').attr("href", darkModeCsseHref);
      $('#cssSelect').text("Light mode");
      cssDarkmode = "true";
      console.log("swapMode! Now set cookie to " + cssDarkmode);
      Cookies.set(cookieName, cssDarkmode);

    }

    console.log("  --------------- ");
  }


const vueCssApp = new Vue({
el: '#menubar',
data: {
isDark: false
},
methods: {
toggleClass: function(event){
this.isDark = !this.isDark;
}
}
})

const vueApp = new Vue({
el: '#vapp',
data: { 
isOpen: true
},

mounted() {
this.handleResize();
this.manage_mob_classes();
window.addEventListener('resize', this.handleResize)
//this.isOpen !=  (/Android|webOS|iPhone|iPad|iPod|BlackBerry|IEMobile|Opera Mini/i.test(navigator.userAgent));
},
destroyed() {
window.removeEventListener('resize', this.handleResize)
},
created() {
//manage_mob_classes();
},

methods : {
isMobile() {
  return (/Android|webOS|iPhone|iPad|iPod|BlackBerry|IEMobile|Opera Mini/i.test(navigator.userAgent));
},

  handleResize() {
    if (!this.isMobile()) {
      this.isOpen = window.innerWidth > 800;
    }
  },

  manage_mob_classes() {
    if (/Android|webOS|iPhone|iPad|iPod|BlackBerry|IEMobile|Opera Mini/i.test(navigator.userAgent)) {
      $("nav").addClass("mob_nav");
      $("main").addClass("mob_main");
      $("#extraz").addClass("mob_extraz");
      $("#carbonads-container").addClass("mob_carbonads-container");
      this.isOpen  = false;
    } else {
      $("nav").removeClass("mob_nav") 
        $("main").removeClass("mob_main");
      $("#extraz").removeClass("mob_extraz");
      $("#carbonads-container").removeClass("mob_carbonads-container");
      this.isOpen  = true;
    }
  },

  toggleNav() {
    this.isOpen =! this.isOpen ;
    // alert("Toggle nav!");
    console.log("toggleNav() click: " + this.isOpen );
  }
}
})

$("#carbonads-container").append(ads);


$(function() {

    var darkmode = Cookies.get("darkmode");
    console.log("Document ready: " + darkmode);

    if ( darkmode  == "true" ) {
      $('#cssSelect').text("Light mode");
    } else {
      $('#cssSelect').text("Dark mode");
     }

    $('body').css('display','block');
    });

</script>

    
  </body> 
</html>

